Советский философский словарь - посылка
Связанные словари
Посылка
В узком смысле, при формально-дедуктивных построениях логики, П. называют высказывания, к к-рым применяется то или иное правило вывода, или же символизирующие их формулы. В логич. формализмах аксиоматич. типа П. первых шагов дедукции заранее фиксируются в виде аксиом, к-рые, т. о., играют роль «абс.» П., или предпосылок процедура вывода должна начинаться обязательно с них.
П. являются необходимым условием логич. аргументации или доказательства. При этом существенным оказывается вопрос о непостороннем характере П. Постороннюю в данной аргументации П. всегда можно заменить на противоречащую ей без ущерба для аргументации. Задачи разыскания следствий из данных П. и непосторонних П. по данным следствиям являются осн. задачами логики. В пределах формализма алгебры высказываний эти задачи имеют исчерпывающее решение.
Вопрос-ответ:
Самые популярные термины
1 | 1741 | |
2 | 1418 | |
3 | 1218 | |
4 | 1149 | |
5 | 1138 | |
6 | 1101 | |
7 | 906 | |
8 | 835 | |
9 | 791 | |
10 | 759 | |
11 | 750 | |
12 | 733 | |
13 | 701 | |
14 | 701 | |
15 | 699 | |
16 | 683 | |
17 | 680 | |
18 | 656 | |
19 | 650 | |
20 | 631 |